Coordinated atomic actions as a technique for implementing distributed gamma computation
نویسندگان
چکیده
The intentions of this paper are to discuss Coordinated Atomic actions and to demonstrate how they can be used in a very new application area. We apply this concept to designing a particular case of the Gamma computational paradigm, i.e. distributed Gamma computation. Within our approach, each Gamma reaction is an action. We demonstrate how Gamma computation can be effectively implemented in conventional distributed message passing systems using Coordinated Atomic actions. The paper discusses our design and the benefits we gain by applying Coordinated Atomic actions: allowing as much concurrency as possible, together with guaranteeing data consistency, a better system structuring, clear separation of different system levels, and additional flexibility. This experimental design and the Java implementation allow us to conclude that Coordinated Atomic actions is a very powerful paradigm which can be used for implementing many complex systems and, in particular, software to support some parallel computational models and paradigms.
منابع مشابه
Using the B Method for the Formalization of Coordinated Atomic Actions
Coordinated Atomic Actions have been proven successful for building dependable distributed systems due to their support for error recovery for both competitive and cooperative concurrent activities. This chapter introduces the formal specification of Coordinated Atomic Actions emphasizing the formalization of proposed dependability mechanisms using the B formal method. The specification then al...
متن کاملCoherence-based Coordinated Checkpointing for Software Distributed Shared Memory Systems
Fault-tolerant techniques that can cope with system failures in software distributed shared memory (SDSM) are essential for creating productive and highly available parallel computing environments on clusters of workstations. In this paper, we propose a new, efficient coordinated checkpointing technique, called coherence-based coordinated checkpointing (CCC), for SDSM. Our CCC minimizes both th...
متن کاملA distributed coordinated atomic action scheme
Coordinated Atomic actions have proved to be a very general concept which can be successfully applied for structuring complex concurrent systems consisting of elements which both cooperate and compete. The canonical Coordinated Atomic action is built of several cooperating participants (roles) and a set of local objects which represent the action state and provide the feature for cooperation. I...
متن کاملUsing Coordinated Atomic Actions to Design Dependable Distributed Object Systems
The Coordinated Atomic CA action concept is a uni ed approach to structuring complex concurrent activities and supporting error recovery between multiple interacting objects in an object oriented system This paradigm provides a conceptual framework for supporting both cooperating and competing concurrency and achieving fault tolerance by extending and integrating two complementary concepts conv...
متن کاملCoordinated Atomic Actions: Formal Model, Case Study and System Implementation
The Coordinated Atomic Action (or CA action) concept is a unified scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting components in a distributed object system. It provides a conceptual framework for dealing with different kinds of concurrency and achieving fault tolerance by integrating and extending two complementary concepts — conv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Systems Architecture
دوره 45 شماره
صفحات -
تاریخ انتشار 1999